dubbele precisie double-precision

Werkend met tweemaal zoveel bits als floating point.